Improving Critical Path Method (CPM) by Applying Safety Factor to Manage Delays
نویسندگان
چکیده
منابع مشابه
Applying an Operational Formal Method to Safety-Critical Systems
Despite thirty years of study by the academic community, industry has not embraced the systematic usage of formal methods. To address this concern, a formal method is proposed which possesses many of the qualities that practitioners have listed as lacking from current formal methods: inclusion of both a specification and verification model, a tabular notation that only requires knowledge of fir...
متن کاملImproving Safety-Critical Systems by Visual Analysis
The importance analysis provides a means of analyzing the contribution of potential low-level system failures to identify and assess vulnerabilities of safety-critical systems. Common approaches attempt to enhance the system safety by addressing vulnerabilities using an iterative analysis process, while considering relevant constraints, e.g., cost, for optimizing the improvements. Typically, da...
متن کاملApplying RT-Z to Develop Safety-Critical Systems
We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. The characteristics underlying the development of safety-critical systems are identified, and criteria for specification languages to be used in this area are derived. It is demonstra...
متن کاملApplying CBR to manage argumentation in MAS
The application of argumentation theories and techniques in multi-agent systems has become a prolific area of research. Argumentation allows agents to harmonize two types of disagreement situations: internal, when the acquisition of new information (e.g. about the environment or about other agents) produces incoherences in the agents’ mental state; and external, when agents that have different ...
متن کاملApplying Scientific Workflows to Manage Sensor Data
There is a world wide effort to create infrastructures that support multidisciplinary, collaborative and distributed work in scientific research, giving birth to the so-called e-Science environments. At the same time, the proliferation, variety and ubiquity of sensing devices, from satellites to tiny sensors are making huge amounts of data available to scientists. This paper presents a framewor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientia Iranica
سال: 2016
ISSN: 2345-3605
DOI: 10.24200/sci.2016.2161